/**
 * \file kernel/arch/x86/archinc.h
 * \author Davide Gessa
 * \date 10-19-09
 */
#ifndef ARCHINC_H
#define ARCHINC_H

#include <types.h>

#define RTCaddress	0x70	///< Porta del RTC, indirizzo
#define RTCdata		0x71	///< Porta del RTC, data



#endif
